package datatypes.r2.foundation;

import datatypes.r2.flavors.ST_SIMPLE;

public interface BL extends ANY{
	BL not();

	BL and(BL x);

	BL or(BL x);

	BL xor(BL x);

	BL implies(BL x);

	ST_SIMPLE literal();
}
